;; data generated for ICDL 2010 
;; parameters
;;   unobservable: [u1, u2, u3]
;;   observable: [o7, o6, o8, o10, o4, o15, o12, o9, o13, o1, o11, o2, o3, o14, o5]
;;   numEpisodes - 50 meanLength - 100
;; bp
;; --------------
;;   ("o3" 0 2)
;;   ("o3" 3 5)
;;   ("o10" 3 7)
;;   ("o8" 6 10)
;;   ("o4" 3 12)
;;   ("o1" 4 12)
;;   ("o3" 9 12)
;;   ("o6" 7 13)
;;   ("o2" 0 15)
;;   ("u2" 13 18)
;;   ("o3" 14 19)
;;   ("o10" 13 20)
;;   ("o12" 1 21)
;;   ("o7" 17 22)
;;   ("o9" 16 23)
;;   ("o3" 20 24)
;;   ("o13" 1 25)
;;   ("o8" 21 25)
;;   ("o4" 14 26)
;;   ("o1" 21 26)
;;   ("o15" 8 27)
;;   ("o2" 16 27)
;;   ("o14" 14 28)
;;   ("o6" 23 29)
;;   ("u1" 10 30)
;;   ("o11" 11 31)
;;   ("u3" 19 32)
;; --------------
;; core
;; --------------------------------
;;  name:o7 start:36 length:9
;;  name:o6 start:18 length:12
;;  name:o6 start:46 length:26
;;  name:o8 start:17 length:8
;;  name:o8 start:44 length:7
;;  name:o10 start:8 length:10
;;  name:o10 start:30 length:13
;;  name:o4 start:8 length:20
;;  name:o4 start:31 length:30
;;  name:o15 start:19 length:47
;;  name:o12 start:6 length:38
;;  name:o9 start:33 length:13
;;  name:o13 start:6 length:45
;;  name:o1 start:11 length:17
;;  name:o1 start:44 length:17
;;  name:o11 start:27 length:53
;;  name:o2 start:0 length:32
;;  name:o2 start:33 length:33
;;  name:o3 start:0 length:7
;;  name:o3 start:8 length:8
;;  name:o3 start:20 length:8
;;  name:o3 start:31 length:10
;;  name:o3 start:43 length:7
;;  name:o14 start:31 length:38
;;  name:u1 start:25 length:52
;;  name:u2 start:30 length:9
;;  name:u3 start:41 length:40
;; patternLength:81
;; --------------------------------
(0
 (
 ("o14" 3 12)
 ("o3" 11 18)
 ("o14" 13 22)
 ("o3" 19 27)
 ("o15" 18 29)
 ("o10" 19 29)
 ("o3" 28 30)
 ("u1" 1 35)
 ("o14" 24 35)
 ("o8" 28 36)
 ("o4" 19 39)
 ("o1" 22 39)
 ("o3" 31 39)
 ("u2" 15 40)
 ("o6" 29 41)
 ("o14" 37 41)
 ("o2" 11 43)
 ("u2" 41 50)
 ("u3" 20 51)
 ("o3" 42 52)
 ("o10" 41 54)
 ("o12" 17 55)
 ("o5" 14 56)
 ("o6" 45 56)
 ("o7" 47 56)
 ("o9" 44 57)
 ("o3" 54 61)
 ("o13" 17 62)
 ("o8" 55 62)
 ("o4" 42 72)
 ("o1" 55 72)
 ("o15" 30 77)
 ("o2" 44 77)
 ("o13" 63 78)
 ("o14" 42 80)
 ("o12" 56 81)
 ("o6" 57 83)
 ("u2" 59 84)
 ("o14" 81 84)
 ("u1" 36 88)
 ("o11" 38 91)
 ("u3" 52 92)
 ("o3" 62 92)
 ("o14" 86 93)
 ("o14" 94 107)
 ("o1" 95 119)
 ("u2" 95 119)
 ("o14" 109 120)
 ("o5" 79 121)
 ("u3" 93 131)
 ("u1" 92 133)
 ("o4" 87 134)
 ("o3" 106 142)
 ("o7" 101 145)
 ("o10" 63 147)
 ("o9" 63 150)
 ("o13" 100 168)
 ("o8" 81 170)
))
(1
 (
 ("o3" 3 10)
 ("o3" 11 19)
 ("o10" 11 21)
 ("o15" 17 21)
 ("o3" 20 22)
 ("o10" 22 26)
 ("o8" 20 28)
 ("o9" 20 30)
 ("o4" 11 31)
 ("o1" 14 31)
 ("o3" 23 31)
 ("o6" 21 33)
 ("o2" 3 35)
 ("u2" 33 42)
 ("o3" 34 44)
 ("o10" 33 46)
 ("o1" 36 46)
 ("o12" 9 47)
 ("o7" 39 48)
 ("o9" 36 49)
 ("o3" 46 53)
 ("o9" 50 53)
 ("o13" 9 54)
 ("o8" 47 54)
 ("o4" 34 64)
 ("o1" 47 64)
 ("o10" 55 67)
 ("o15" 22 69)
 ("o2" 36 69)
 ("o14" 34 72)
 ("o6" 49 75)
 ("u2" 60 75)
 ("u1" 28 80)
 ("o9" 66 80)
 ("o11" 30 83)
 ("u3" 44 84)
 ("u3" 85 87)
 ("o7" 52 88)
 ("o10" 74 88)
 ("o5" 69 98)
 ("o9" 92 102)
 ("o14" 79 103)
 ("o13" 71 106)
 ("o8" 93 106)
 ("o10" 97 111)
 ("o6" 88 115)
 ("o11" 84 116)
 ("o4" 65 130)
 ("o12" 54 132)
 ("o3" 96 157)
 ("o2" 75 163)
))
(2
 (
 ("o3" 5 12)
 ("o1" 3 15)
 ("o3" 13 21)
 ("o10" 13 23)
 ("u1" 13 29)
 ("o8" 22 30)
 ("o4" 13 33)
 ("o1" 16 33)
 ("o3" 25 33)
 ("u2" 2 34)
 ("o6" 23 35)
 ("o2" 5 37)
 ("o7" 4 40)
 ("o8" 31 42)
 ("u2" 35 44)
 ("o3" 36 46)
 ("o1" 34 48)
 ("o10" 35 48)
 ("o12" 11 49)
 ("o7" 41 50)
 ("o9" 38 51)
 ("o3" 48 55)
 ("o13" 11 56)
 ("o8" 49 56)
 ("o9" 59 62)
 ("o4" 36 66)
 ("o1" 49 66)
 ("o12" 50 66)
 ("o15" 24 71)
 ("o2" 38 71)
 ("o1" 67 72)
 ("o14" 36 74)
 ("o6" 51 77)
 ("o8" 63 78)
 ("o2" 72 81)
 ("u1" 30 82)
 ("o11" 32 85)
 ("u3" 46 86)
 ("o6" 79 89)
 ("o14" 75 90)
 ("u1" 83 94)
 ("o1" 80 101)
 ("o8" 99 109)
 ("o3" 105 114)
 ("o1" 104 126)
 ("o13" 76 127)
 ("o4" 67 131)
 ("o5" 27 152)
 ("o10" 83 162)
 ("u3" 87 166)
 ("o15" 91 197)
 ("o11" 104 203)
 ("o7" 102 204)
))
(3
 (
 ("o8" 21 26)
 ("o13" 27 28)
 ("o4" 6 30)
 ("o3" 23 30)
 ("o3" 31 39)
 ("u2" 9 40)
 ("o10" 31 41)
 ("o8" 40 48)
 ("o4" 31 51)
 ("o1" 34 51)
 ("o3" 43 51)
 ("o6" 41 53)
 ("o4" 52 53)
 ("o2" 23 55)
 ("o8" 49 61)
 ("u2" 53 62)
 ("o3" 54 64)
 ("o10" 53 66)
 ("o1" 62 66)
 ("o12" 29 67)
 ("o7" 59 68)
 ("o9" 56 69)
 ("o3" 66 73)
 ("o13" 29 74)
 ("o8" 67 74)
 ("u2" 63 81)
 ("o4" 54 84)
 ("o1" 67 84)
 ("o15" 42 89)
 ("o2" 56 89)
 ("o8" 85 90)
 ("o14" 54 92)
 ("o6" 69 95)
 ("u1" 48 100)
 ("o6" 96 101)
 ("o5" 5 103)
 ("o11" 50 103)
 ("u3" 64 104)
 ("o15" 90 105)
 ("o12" 103 116)
 ("u2" 92 126)
 ("o2" 90 137)
 ("o4" 98 138)
 ("o14" 108 140)
 ("o3" 74 145)
 ("o11" 104 159)
 ("o10" 91 162)
 ("o7" 95 173)
 ("u1" 101 179)
 ("u3" 105 180)
 ("o9" 91 200)
 ("o5" 106 209)
))
(4
 (
 ("o3" 2 9)
 ("o1" 8 12)
 ("o8" 3 18)
 ("o3" 10 18)
 ("o10" 10 20)
 ("o7" 10 20)
 ("o8" 19 27)
 ("o4" 10 30)
 ("o1" 13 30)
 ("o3" 22 30)
 ("o6" 20 32)
 ("o2" 2 34)
 ("o7" 29 37)
 ("u2" 32 41)
 ("o3" 33 43)
 ("o8" 30 45)
 ("o10" 32 45)
 ("o12" 8 46)
 ("o7" 38 47)
 ("o9" 35 48)
 ("u2" 43 50)
 ("o3" 45 52)
 ("o13" 8 53)
 ("o8" 46 53)
 ("o7" 57 62)
 ("o4" 33 63)
 ("o1" 46 63)
 ("o12" 47 64)
 ("o9" 60 67)
 ("o15" 21 68)
 ("o2" 35 68)
 ("o14" 33 71)
 ("o8" 56 71)
 ("o6" 48 74)
 ("u1" 27 79)
 ("o13" 54 79)
 ("o11" 29 82)
 ("u3" 43 83)
 ("o7" 80 84)
 ("o6" 75 85)
 ("o1" 64 95)
 ("u1" 80 98)
 ("o8" 75 99)
 ("o5" 65 100)
 ("o2" 69 103)
 ("o4" 66 117)
 ("o10" 53 125)
 ("o3" 58 125)
 ("o14" 72 125)
 ("o12" 87 136)
 ("o15" 86 156)
 ("o13" 89 160)
 ("u3" 84 171)
))
(5
 (
 ("o3" 5 25)
 ("o13" 27 31)
 ("o3" 26 33)
 ("o3" 34 42)
 ("o15" 9 44)
 ("o10" 34 44)
 ("u1" 23 50)
 ("o8" 43 51)
 ("o14" 5 52)
 ("o4" 34 54)
 ("o1" 37 54)
 ("o3" 46 54)
 ("o6" 44 56)
 ("o8" 52 57)
 ("o2" 26 58)
 ("u2" 56 65)
 ("o3" 57 67)
 ("o10" 56 69)
 ("o12" 32 70)
 ("o7" 62 71)
 ("o9" 59 72)
 ("o3" 69 76)
 ("o13" 32 77)
 ("o8" 70 77)
 ("o4" 57 87)
 ("o1" 70 87)
 ("o15" 45 92)
 ("o2" 59 92)
 ("o14" 57 95)
 ("o6" 72 98)
 ("o8" 91 102)
 ("u1" 51 103)
 ("o11" 53 106)
 ("u3" 67 107)
 ("o14" 96 135)
 ("o9" 73 137)
 ("o13" 91 139)
 ("u3" 108 146)
 ("o2" 93 148)
 ("u2" 92 152)
 ("o1" 88 156)
 ("o7" 72 158)
 ("o4" 88 161)
 ("o6" 99 170)
 ("o3" 96 172)
 ("o5" 101 198)
))
(6
 (
 ("o3" 7 8)
 ("o15" 5 10)
 ("o3" 10 17)
 ("o8" 4 20)
 ("o15" 12 23)
 ("o3" 18 26)
 ("o8" 24 26)
 ("o10" 18 28)
 ("o15" 24 28)
 ("u1" 28 34)
 ("o8" 27 35)
 ("o4" 18 38)
 ("o1" 21 38)
 ("o3" 30 38)
 ("o6" 28 40)
 ("o14" 29 40)
 ("o2" 10 42)
 ("o7" 30 43)
 ("u2" 40 49)
 ("o3" 41 51)
 ("o10" 40 53)
 ("o12" 16 54)
 ("o7" 46 55)
 ("o9" 43 56)
 ("o3" 53 60)
 ("o13" 16 61)
 ("o8" 54 61)
 ("o13" 62 70)
 ("o4" 41 71)
 ("o1" 54 71)
 ("o15" 29 76)
 ("o2" 43 76)
 ("o3" 76 77)
 ("o14" 41 79)
 ("o6" 56 82)
 ("o8" 62 82)
 ("o15" 77 83)
 ("u1" 35 87)
 ("o9" 82 89)
 ("o11" 37 90)
 ("u3" 51 91)
 ("o3" 91 92)
 ("o7" 86 98)
 ("o15" 85 99)
 ("o8" 88 101)
 ("u2" 80 102)
 ("o12" 84 102)
 ("u1" 89 104)
 ("o2" 81 107)
 ("o15" 100 108)
 ("o4" 84 110)
 ("o3" 112 114)
 ("o15" 110 119)
 ("o8" 106 130)
 ("o13" 84 136)
 ("o10" 54 146)
 ("o5" 97 156)
 ("o6" 83 158)
 ("u3" 94 169)
 ("o11" 113 195)
 ("o1" 107 221)
))
(7
 (
 ("o3" 0 7)
 ("o10" 5 7)
 ("o3" 8 16)
 ("o10" 8 18)
 ("o11" 17 21)
 ("u3" 18 23)
 ("u1" 22 24)
 ("o8" 17 25)
 ("o4" 8 28)
 ("o1" 11 28)
 ("o3" 20 28)
 ("o6" 18 30)
 ("o2" 0 32)
 ("o7" 21 35)
 ("u2" 30 39)
 ("o3" 31 41)
 ("o10" 30 43)
 ("o12" 6 44)
 ("o7" 36 45)
 ("o9" 33 46)
 ("o3" 43 50)
 ("o13" 6 51)
 ("o8" 44 51)
 ("o3" 51 60)
 ("o4" 31 61)
 ("o1" 44 61)
 ("o15" 19 66)
 ("o2" 33 66)
 ("o4" 62 66)
 ("o14" 31 69)
 ("o7" 49 69)
 ("u2" 40 72)
 ("o10" 44 72)
 ("o6" 46 72)
 ("o8" 60 74)
 ("u1" 25 77)
 ("o11" 27 80)
 ("u3" 41 81)
 ("o12" 65 81)
 ("o2" 67 81)
 ("o5" 19 86)
 ("o6" 79 94)
 ("o13" 57 95)
 ("o9" 60 100)
 ("o7" 84 100)
 ("o14" 83 102)
 ("o10" 73 104)
 ("o15" 67 110)
 ("o1" 70 122)
))
(8
 (
 ("o3" 1 8)
 ("o8" 6 17)
 ("o3" 9 17)
 ("o10" 9 19)
 ("u1" 8 25)
 ("o14" 20 25)
 ("o8" 18 26)
 ("o4" 9 29)
 ("o1" 12 29)
 ("o10" 20 29)
 ("o3" 21 29)
 ("o6" 19 31)
 ("o4" 30 31)
 ("o2" 1 33)
 ("u2" 31 40)
 ("u3" 21 41)
 ("o3" 32 42)
 ("o10" 31 44)
 ("o12" 7 45)
 ("o7" 37 46)
 ("o9" 34 47)
 ("o3" 44 51)
 ("o13" 7 52)
 ("o8" 45 52)
 ("o4" 32 62)
 ("o1" 45 62)
 ("o5" 56 64)
 ("o10" 52 65)
 ("o15" 20 67)
 ("o2" 34 67)
 ("o14" 32 70)
 ("o6" 47 73)
 ("o1" 63 75)
 ("u1" 26 78)
 ("o11" 28 81)
 ("u3" 42 82)
 ("o2" 68 95)
 ("o14" 92 98)
 ("o10" 88 100)
 ("u1" 79 101)
 ("o3" 52 104)
 ("o7" 47 123)
 ("o12" 46 130)
 ("o15" 68 130)
 ("o8" 77 132)
 ("o9" 50 141)
 ("u2" 85 156)
 ("u3" 95 167)
 ("o13" 72 178)
 ("o11" 96 203)
))
(9
 (
 ("o12" 3 8)
 ("o3" 3 10)
 ("o3" 11 19)
 ("o15" 5 21)
 ("o10" 11 21)
 ("o8" 20 28)
 ("o4" 11 31)
 ("o1" 14 31)
 ("o3" 23 31)
 ("u2" 17 32)
 ("o6" 21 33)
 ("o2" 3 35)
 ("o9" 34 35)
 ("u2" 33 42)
 ("o3" 34 44)
 ("o10" 33 46)
 ("o12" 9 47)
 ("o7" 39 48)
 ("o9" 36 49)
 ("o3" 46 53)
 ("o13" 9 54)
 ("o8" 47 54)
 ("o4" 34 64)
 ("o1" 47 64)
 ("o15" 22 69)
 ("o2" 36 69)
 ("o14" 34 72)
 ("o6" 49 75)
 ("o9" 69 75)
 ("o3" 54 77)
 ("u1" 28 80)
 ("o11" 30 83)
 ("u3" 44 84)
 ("o2" 79 84)
 ("o15" 77 86)
 ("u1" 81 90)
 ("o5" 68 102)
 ("o15" 90 104)
 ("o8" 93 107)
 ("o4" 65 109)
 ("o1" 78 125)
 ("o13" 55 132)
 ("o11" 84 135)
 ("o14" 74 138)
 ("o10" 60 139)
 ("o6" 96 181)
))
(10
 (
 ("o3" 10 17)
 ("o3" 18 26)
 ("o10" 18 28)
 ("o8" 27 35)
 ("o4" 18 38)
 ("o1" 21 38)
 ("o3" 30 38)
 ("o10" 29 39)
 ("o14" 28 40)
 ("o6" 28 40)
 ("o2" 10 42)
 ("o7" 19 45)
 ("u2" 40 49)
 ("o3" 41 51)
 ("o8" 39 53)
 ("o10" 40 53)
 ("o12" 16 54)
 ("o7" 46 55)
 ("o9" 43 56)
 ("o3" 53 60)
 ("o13" 16 61)
 ("o8" 54 61)
 ("o3" 61 65)
 ("o4" 41 71)
 ("o1" 54 71)
 ("o15" 29 76)
 ("o2" 43 76)
 ("o14" 41 79)
 ("o6" 56 82)
 ("o10" 68 84)
 ("u1" 35 87)
 ("o11" 37 90)
 ("u3" 51 91)
 ("o2" 95 100)
 ("o13" 62 105)
 ("u1" 88 108)
 ("o12" 55 116)
 ("o9" 57 138)
 ("o15" 77 148)
 ("o4" 72 153)
 ("u2" 59 163)
 ("o5" 94 182)
 ("o1" 98 197)
))
(11
 (
 ("o13" 8 17)
 ("o10" 5 19)
 ("o3" 12 19)
 ("o4" 17 19)
 ("o3" 20 28)
 ("o15" 12 30)
 ("o10" 20 30)
 ("u1" 29 36)
 ("o8" 29 37)
 ("o4" 20 40)
 ("o1" 23 40)
 ("o3" 32 40)
 ("u2" 9 41)
 ("o6" 30 42)
 ("o2" 12 44)
 ("o7" 23 47)
 ("u2" 42 51)
 ("u3" 30 52)
 ("o3" 43 53)
 ("o10" 42 55)
 ("o12" 18 56)
 ("o6" 43 57)
 ("o7" 48 57)
 ("o9" 45 58)
 ("o3" 55 62)
 ("o13" 18 63)
 ("o8" 56 63)
 ("o9" 63 67)
 ("o12" 57 71)
 ("o4" 43 73)
 ("o1" 56 73)
 ("o15" 31 78)
 ("o2" 45 78)
 ("o14" 43 81)
 ("o3" 72 83)
 ("o6" 58 84)
 ("u1" 37 89)
 ("o2" 86 91)
 ("o11" 39 92)
 ("u3" 53 93)
 ("o11" 93 97)
 ("u3" 94 113)
 ("u2" 70 115)
 ("o5" 44 116)
 ("o6" 89 131)
 ("o14" 91 132)
 ("o4" 84 134)
 ("o12" 90 143)
 ("o8" 92 157)
 ("o10" 79 162)
 ("o13" 93 164)
))
(12
 (
 ("o13" 34 36)
 ("o3" 31 38)
 ("o3" 39 47)
 ("o10" 39 49)
 ("o8" 48 56)
 ("o11" 29 57)
 ("o4" 39 59)
 ("o1" 42 59)
 ("o3" 51 59)
 ("u2" 52 60)
 ("o6" 49 61)
 ("o2" 31 63)
 ("u2" 61 70)
 ("o3" 62 72)
 ("o8" 60 74)
 ("o10" 61 74)
 ("o12" 37 75)
 ("o7" 67 76)
 ("o9" 64 77)
 ("o3" 74 81)
 ("o13" 37 82)
 ("o8" 75 82)
 ("o5" 75 86)
 ("o10" 75 88)
 ("o4" 62 92)
 ("o1" 75 92)
 ("o15" 50 97)
 ("o2" 64 97)
 ("o14" 62 100)
 ("o6" 77 103)
 ("o1" 102 106)
 ("u1" 56 108)
 ("o11" 58 111)
 ("u3" 72 112)
 ("o4" 107 119)
 ("o9" 89 122)
 ("o3" 98 145)
 ("u3" 113 154)
 ("o12" 76 163)
 ("o7" 98 181)
 ("o14" 101 183)
 ("o15" 98 193)
 ("o6" 107 238)
))
(13
 (
 ("o2" 5 6)
 ("o13" 11 12)
 ("o4" 6 14)
 ("o3" 7 14)
 ("o3" 15 23)
 ("o8" 16 23)
 ("o15" 13 25)
 ("o10" 15 25)
 ("o8" 24 32)
 ("o11" 20 33)
 ("o4" 15 35)
 ("o1" 18 35)
 ("o3" 27 35)
 ("o6" 25 37)
 ("o2" 7 39)
 ("u2" 37 46)
 ("o3" 38 48)
 ("o10" 37 50)
 ("o12" 13 51)
 ("o7" 43 52)
 ("o9" 40 53)
 ("o3" 50 57)
 ("o13" 13 58)
 ("o8" 51 58)
 ("o4" 38 68)
 ("o1" 51 68)
 ("o12" 52 70)
 ("o15" 26 73)
 ("o2" 40 73)
 ("o14" 38 76)
 ("o6" 53 79)
 ("o7" 53 79)
 ("u1" 32 84)
 ("o11" 34 87)
 ("u3" 48 88)
 ("u1" 85 90)
 ("o2" 74 92)
 ("o14" 77 95)
 ("o9" 79 100)
 ("o11" 88 102)
 ("o6" 80 105)
 ("u3" 89 108)
 ("o3" 58 116)
 ("o10" 73 126)
 ("o4" 71 135)
 ("o1" 69 147)
 ("o5" 81 154)
 ("o15" 82 157)
))
(14
 (
 ("u2" 10 21)
 ("o3" 14 21)
 ("o3" 22 30)
 ("o10" 22 32)
 ("o15" 26 32)
 ("o3" 31 33)
 ("o8" 31 39)
 ("o4" 22 42)
 ("o1" 25 42)
 ("o3" 34 42)
 ("u2" 35 43)
 ("o6" 32 44)
 ("o9" 12 46)
 ("o2" 14 46)
 ("u2" 44 53)
 ("o3" 45 55)
 ("o8" 40 57)
 ("o10" 44 57)
 ("o12" 20 58)
 ("o6" 45 59)
 ("o7" 50 59)
 ("o9" 47 60)
 ("o3" 57 64)
 ("o13" 20 65)
 ("o8" 58 65)
 ("u2" 61 74)
 ("o4" 45 75)
 ("o1" 58 75)
 ("o15" 33 80)
 ("o2" 47 80)
 ("o14" 45 83)
 ("o6" 60 86)
 ("o1" 76 87)
 ("o3" 78 88)
 ("o13" 66 89)
 ("u1" 39 91)
 ("o11" 41 94)
 ("o2" 81 94)
 ("u3" 55 95)
 ("u2" 94 101)
 ("o8" 92 107)
 ("o12" 65 118)
 ("o15" 89 123)
 ("u1" 92 124)
 ("o7" 66 127)
 ("u3" 96 130)
 ("o14" 84 136)
 ("o9" 95 169)
 ("o4" 82 173)
))
(15
 (
 ("o3" 17 24)
 ("o1" 22 27)
 ("o3" 25 33)
 ("o6" 30 34)
 ("o10" 25 35)
 ("u1" 37 41)
 ("o8" 34 42)
 ("o11" 5 43)
 ("o4" 25 45)
 ("o1" 28 45)
 ("o3" 37 45)
 ("o10" 38 46)
 ("o6" 35 47)
 ("o2" 17 49)
 ("o7" 42 52)
 ("u2" 47 56)
 ("o3" 48 58)
 ("o10" 47 60)
 ("o8" 58 60)
 ("o12" 23 61)
 ("o7" 53 62)
 ("o9" 50 63)
 ("o3" 60 67)
 ("o13" 23 68)
 ("o8" 61 68)
 ("o4" 48 78)
 ("o1" 61 78)
 ("o15" 36 83)
 ("o2" 50 83)
 ("o14" 48 86)
 ("o6" 63 89)
 ("o3" 68 93)
 ("o10" 80 93)
 ("o2" 84 93)
 ("u1" 42 94)
 ("o11" 44 97)
 ("u3" 58 98)
 ("o11" 98 111)
 ("o1" 98 116)
 ("o14" 87 120)
 ("u3" 103 145)
 ("o13" 69 179)
 ("o12" 64 180)
 ("o4" 96 183)
 ("o9" 95 196)
 ("u2" 98 197)
))
(16
 (
 ("o3" 2 9)
 ("o3" 10 18)
 ("o10" 10 20)
 ("u2" 6 23)
 ("o8" 19 27)
 ("o4" 10 30)
 ("o1" 13 30)
 ("o3" 22 30)
 ("o10" 21 31)
 ("u2" 26 31)
 ("o6" 20 32)
 ("o3" 31 32)
 ("o4" 31 32)
 ("o2" 2 34)
 ("o9" 22 34)
 ("o7" 33 37)
 ("u2" 32 41)
 ("u3" 4 42)
 ("o3" 33 43)
 ("o8" 28 45)
 ("o10" 32 45)
 ("o12" 8 46)
 ("o7" 38 47)
 ("o9" 35 48)
 ("o3" 45 52)
 ("o13" 8 53)
 ("o8" 46 53)
 ("u2" 51 58)
 ("o4" 33 63)
 ("o1" 46 63)
 ("o15" 21 68)
 ("o2" 35 68)
 ("o14" 33 71)
 ("o6" 48 74)
 ("u1" 27 79)
 ("o11" 29 82)
 ("u3" 43 83)
 ("o10" 65 85)
 ("u2" 67 87)
 ("o6" 75 87)
 ("o2" 69 89)
 ("o15" 69 113)
 ("u2" 93 115)
 ("o10" 94 116)
 ("o7" 95 122)
 ("o13" 61 137)
 ("o5" 58 145)
 ("o11" 83 145)
 ("u3" 89 171)
 ("o1" 90 196)
))
(17
 (
 ("o10" 18 28)
 ("o3" 21 28)
 ("o3" 29 37)
 ("o10" 29 39)
 ("o3" 38 40)
 ("u1" 2 45)
 ("o8" 38 46)
 ("o4" 29 49)
 ("o1" 32 49)
 ("o3" 41 49)
 ("o14" 7 51)
 ("o6" 39 51)
 ("o4" 50 51)
 ("o2" 21 53)
 ("o7" 11 56)
 ("u2" 51 60)
 ("o3" 52 62)
 ("o10" 51 64)
 ("u2" 61 64)
 ("o12" 27 65)
 ("o7" 57 66)
 ("o6" 60 66)
 ("o9" 54 67)
 ("o3" 64 71)
 ("o13" 27 72)
 ("o8" 65 72)
 ("o4" 52 82)
 ("o1" 65 82)
 ("o13" 73 85)
 ("o15" 40 87)
 ("o2" 54 87)
 ("o14" 52 90)
 ("o6" 67 93)
 ("u1" 46 98)
 ("o11" 48 101)
 ("u3" 62 102)
 ("o14" 91 108)
 ("o4" 96 119)
 ("u3" 103 129)
 ("u1" 99 141)
 ("o1" 83 158)
 ("o15" 88 166)
 ("o12" 88 169)
))
(18
 (
 ("o3" 15 19)
 ("o12" 19 25)
 ("o3" 20 27)
 ("o3" 28 36)
 ("o8" 34 36)
 ("o6" 13 37)
 ("o10" 28 38)
 ("u1" 29 44)
 ("o8" 37 45)
 ("o11" 30 46)
 ("o4" 28 48)
 ("o1" 31 48)
 ("o3" 40 48)
 ("u2" 32 49)
 ("o6" 38 50)
 ("o9" 5 52)
 ("o2" 20 52)
 ("u2" 50 59)
 ("o3" 51 61)
 ("o10" 50 63)
 ("o1" 62 63)
 ("o12" 26 64)
 ("o7" 56 65)
 ("o9" 53 66)
 ("o3" 63 70)
 ("o13" 26 71)
 ("o8" 64 71)
 ("o3" 71 74)
 ("o4" 51 81)
 ("o1" 64 81)
 ("o15" 39 86)
 ("o2" 53 86)
 ("o14" 51 89)
 ("o6" 66 92)
 ("u1" 45 97)
 ("o11" 47 100)
 ("u3" 61 101)
 ("o13" 72 110)
 ("o9" 67 116)
 ("o3" 99 117)
 ("o5" 84 125)
 ("o2" 87 125)
 ("o15" 87 127)
 ("u1" 100 132)
 ("u2" 105 135)
 ("o4" 82 136)
 ("u3" 102 136)
 ("o6" 93 137)
 ("o7" 93 161)
 ("o14" 93 194)
))
(19
 (
 ("o3" 1 8)
 ("o4" 2 8)
 ("o10" 7 8)
 ("o15" 7 9)
 ("o3" 9 17)
 ("o10" 9 19)
 ("o7" 9 22)
 ("o8" 18 26)
 ("o11" 23 27)
 ("o4" 9 29)
 ("o1" 12 29)
 ("o3" 21 29)
 ("o10" 23 30)
 ("o6" 19 31)
 ("o3" 30 31)
 ("o4" 30 31)
 ("o2" 1 33)
 ("o9" 12 33)
 ("o7" 31 36)
 ("u2" 31 40)
 ("o3" 32 42)
 ("o10" 31 44)
 ("o8" 39 44)
 ("o12" 7 45)
 ("o7" 37 46)
 ("o9" 34 47)
 ("o3" 44 51)
 ("o13" 7 52)
 ("o8" 45 52)
 ("o4" 32 62)
 ("o1" 45 62)
 ("o13" 59 62)
 ("o7" 47 63)
 ("o15" 20 67)
 ("o2" 34 67)
 ("o12" 46 67)
 ("o14" 32 70)
 ("o15" 69 70)
 ("o3" 70 71)
 ("o6" 47 73)
 ("o10" 49 77)
 ("u1" 26 78)
 ("o7" 70 80)
 ("o15" 77 80)
 ("o11" 28 81)
 ("u3" 42 82)
 ("o9" 50 83)
 ("u3" 83 84)
 ("o4" 63 87)
 ("o14" 71 129)
 ("o2" 68 130)
 ("o1" 63 133)
 ("o6" 74 137)
 ("o5" 54 138)
))
(20
 (
 ("o3" 12 19)
 ("o10" 17 19)
 ("o3" 20 28)
 ("o10" 20 30)
 ("o15" 23 30)
 ("o8" 29 37)
 ("o4" 20 40)
 ("o1" 23 40)
 ("o3" 32 40)
 ("o6" 30 42)
 ("o4" 41 42)
 ("o2" 12 44)
 ("u2" 42 51)
 ("o3" 43 53)
 ("o10" 42 55)
 ("o12" 18 56)
 ("o6" 43 57)
 ("o7" 48 57)
 ("o9" 45 58)
 ("o3" 55 62)
 ("o13" 18 63)
 ("o8" 56 63)
 ("o13" 64 70)
 ("o4" 43 73)
 ("o1" 56 73)
 ("o15" 31 78)
 ("o2" 45 78)
 ("o14" 43 81)
 ("o6" 58 84)
 ("u1" 37 89)
 ("o5" 76 89)
 ("o11" 39 92)
 ("u3" 53 93)
 ("o8" 72 106)
 ("o2" 86 108)
 ("u2" 52 110)
 ("o11" 93 112)
 ("o12" 57 127)
 ("o4" 104 127)
 ("o1" 74 137)
 ("o7" 65 138)
 ("o3" 101 151)
 ("u1" 90 159)
 ("o9" 66 186)
 ("o14" 92 206)
))
(21
 (
 ("o13" 4 5)
 ("o3" 0 7)
 ("o9" 10 11)
 ("o3" 8 16)
 ("o6" 9 17)
 ("o10" 8 18)
 ("o9" 20 22)
 ("o8" 17 25)
 ("o4" 8 28)
 ("o1" 11 28)
 ("o3" 20 28)
 ("o6" 18 30)
 ("o14" 27 30)
 ("o2" 0 32)
 ("o8" 26 35)
 ("o5" 1 38)
 ("u2" 30 39)
 ("u3" 30 40)
 ("o3" 31 41)
 ("o10" 30 43)
 ("o12" 6 44)
 ("o7" 36 45)
 ("o9" 33 46)
 ("o3" 43 50)
 ("o13" 6 51)
 ("o8" 44 51)
 ("o9" 54 55)
 ("o4" 31 61)
 ("o1" 44 61)
 ("o15" 19 66)
 ("o2" 33 66)
 ("o9" 67 68)
 ("o14" 31 69)
 ("o5" 39 70)
 ("o12" 45 70)
 ("o6" 46 72)
 ("o7" 46 73)
 ("u1" 25 77)
 ("o11" 27 80)
 ("u3" 41 81)
 ("o8" 68 81)
 ("o14" 75 81)
 ("u2" 60 85)
 ("o9" 85 87)
 ("o11" 81 88)
 ("o2" 69 89)
 ("o5" 72 94)
 ("o10" 90 96)
 ("o3" 74 102)
 ("o1" 71 123)
 ("o4" 77 136)
 ("o13" 81 169)
))
(22
 (
 ("o13" 12 16)
 ("o3" 11 18)
 ("o5" 5 21)
 ("o3" 19 27)
 ("o10" 19 29)
 ("o8" 28 36)
 ("o4" 19 39)
 ("o1" 22 39)
 ("o3" 31 39)
 ("u2" 32 40)
 ("o6" 29 41)
 ("o2" 11 43)
 ("o7" 17 46)
 ("u2" 41 50)
 ("o5" 33 51)
 ("o3" 42 52)
 ("o10" 41 54)
 ("o12" 17 55)
 ("o7" 47 56)
 ("o9" 44 57)
 ("o3" 54 61)
 ("o13" 17 62)
 ("o8" 55 62)
 ("o4" 42 72)
 ("o1" 55 72)
 ("o5" 56 74)
 ("o15" 30 77)
 ("o2" 44 77)
 ("o12" 68 79)
 ("o14" 42 80)
 ("o2" 78 82)
 ("o6" 57 83)
 ("o6" 84 86)
 ("u1" 36 88)
 ("o11" 38 91)
 ("u3" 52 92)
 ("o5" 76 94)
 ("o3" 62 99)
 ("o13" 63 99)
 ("o1" 73 105)
 ("u3" 93 106)
 ("o4" 97 111)
 ("o10" 81 130)
 ("o15" 78 131)
 ("o8" 84 153)
 ("o9" 86 179)
))
(23
 (
 ("o3" 5 6)
 ("o3" 7 14)
 ("o3" 15 23)
 ("o8" 17 23)
 ("o10" 15 25)
 ("o8" 24 32)
 ("o4" 15 35)
 ("o1" 18 35)
 ("o14" 26 35)
 ("o3" 27 35)
 ("o6" 25 37)
 ("o9" 6 39)
 ("o2" 7 39)
 ("u3" 13 41)
 ("o7" 15 42)
 ("u2" 37 46)
 ("o3" 38 48)
 ("o10" 37 50)
 ("o12" 13 51)
 ("o7" 43 52)
 ("o9" 40 53)
 ("o10" 51 53)
 ("o3" 50 57)
 ("o13" 13 58)
 ("o8" 51 58)
 ("o4" 38 68)
 ("o1" 51 68)
 ("o15" 26 73)
 ("o2" 40 73)
 ("o1" 69 74)
 ("o14" 38 76)
 ("o6" 53 79)
 ("u1" 32 84)
 ("o11" 34 87)
 ("u1" 85 87)
 ("u3" 48 88)
 ("o11" 88 92)
 ("o12" 52 95)
 ("o5" 39 112)
 ("o3" 63 115)
 ("o15" 74 138)
 ("o6" 96 153)
 ("o8" 98 158)
 ("o9" 95 166)
 ("o13" 99 166)
 ("o4" 69 169)
 ("u2" 101 196)
))
(24
 (
 ("o4" 5 22)
 ("o3" 15 22)
 ("o5" 23 26)
 ("o3" 23 31)
 ("o15" 4 33)
 ("o10" 23 33)
 ("o8" 32 40)
 ("o4" 23 43)
 ("o1" 26 43)
 ("o3" 35 43)
 ("o6" 33 45)
 ("o2" 15 47)
 ("o5" 47 49)
 ("o7" 20 50)
 ("u2" 45 54)
 ("o3" 46 56)
 ("o1" 44 58)
 ("o10" 45 58)
 ("o8" 56 58)
 ("o12" 21 59)
 ("o7" 51 60)
 ("o9" 48 61)
 ("o3" 58 65)
 ("o5" 64 65)
 ("o13" 21 66)
 ("o8" 59 66)
 ("o10" 59 71)
 ("o4" 46 76)
 ("o1" 59 76)
 ("o15" 34 81)
 ("o2" 48 81)
 ("o12" 60 81)
 ("o14" 46 84)
 ("o6" 61 87)
 ("o5" 84 87)
 ("u1" 40 92)
 ("o11" 42 95)
 ("u3" 56 96)
 ("o5" 96 97)
 ("o15" 82 102)
 ("u1" 93 106)
 ("o13" 67 107)
 ("o9" 69 112)
 ("o4" 77 112)
 ("o6" 96 132)
 ("o15" 107 137)
 ("o3" 66 149)
 ("o11" 96 149)
 ("u2" 76 155)
 ("o7" 101 192)
))
(25
 (
 ("o3" 2 9)
 ("o3" 10 18)
 ("o10" 10 20)
 ("o15" 17 20)
 ("o9" 5 21)
 ("o8" 19 27)
 ("o4" 10 30)
 ("o1" 13 30)
 ("o3" 22 30)
 ("o6" 20 32)
 ("o3" 31 32)
 ("o2" 2 34)
 ("o9" 28 34)
 ("o7" 25 37)
 ("u2" 32 41)
 ("o3" 33 43)
 ("o8" 28 45)
 ("o10" 32 45)
 ("o12" 8 46)
 ("o7" 38 47)
 ("o9" 35 48)
 ("o3" 45 52)
 ("o13" 8 53)
 ("o8" 46 53)
 ("o13" 54 56)
 ("o4" 33 63)
 ("o1" 46 63)
 ("o15" 21 68)
 ("o2" 35 68)
 ("o14" 33 71)
 ("o3" 58 73)
 ("o6" 48 74)
 ("o9" 54 75)
 ("o14" 72 77)
 ("u1" 27 79)
 ("o6" 75 79)
 ("o11" 29 82)
 ("o4" 64 82)
 ("u3" 43 83)
 ("o13" 74 92)
 ("o3" 84 93)
 ("o5" 57 95)
 ("o12" 71 97)
 ("o9" 80 99)
 ("u2" 46 108)
 ("o2" 73 110)
 ("o11" 83 124)
 ("o10" 54 126)
 ("u1" 80 145)
))
(26
 (
 ("o3" 6 13)
 ("o8" 9 22)
 ("o3" 14 22)
 ("o6" 14 23)
 ("o15" 2 24)
 ("o10" 14 24)
 ("o8" 23 31)
 ("o4" 14 34)
 ("o1" 17 34)
 ("o3" 26 34)
 ("o14" 5 36)
 ("o6" 24 36)
 ("o4" 35 36)
 ("o2" 6 38)
 ("o8" 36 44)
 ("u2" 36 45)
 ("u3" 24 46)
 ("o3" 37 47)
 ("o10" 36 49)
 ("o1" 43 49)
 ("o12" 12 50)
 ("o7" 42 51)
 ("o6" 49 51)
 ("o9" 39 52)
 ("o3" 49 56)
 ("o13" 12 57)
 ("o8" 50 57)
 ("o4" 37 67)
 ("o1" 50 67)
 ("o5" 52 67)
 ("o15" 25 72)
 ("o2" 39 72)
 ("o8" 58 74)
 ("o14" 37 75)
 ("o15" 73 77)
 ("o6" 52 78)
 ("o2" 73 81)
 ("u2" 46 82)
 ("u1" 31 83)
 ("o4" 68 83)
 ("o11" 33 86)
 ("u3" 47 87)
 ("o8" 86 100)
 ("o9" 92 102)
 ("o15" 78 103)
 ("o7" 66 113)
 ("o6" 92 114)
 ("o10" 50 119)
 ("o12" 66 119)
 ("o14" 76 125)
 ("o13" 96 128)
 ("o3" 91 130)
 ("u1" 93 154)
 ("o11" 87 157)
))
(27
 (
 ("o13" 7 13)
 ("o3" 8 15)
 ("o3" 16 24)
 ("o8" 16 24)
 ("o15" 3 26)
 ("o10" 16 26)
 ("u1" 7 32)
 ("o8" 25 33)
 ("o4" 16 36)
 ("o1" 19 36)
 ("o3" 28 36)
 ("u2" 29 37)
 ("o6" 26 38)
 ("o2" 8 40)
 ("o7" 24 43)
 ("o5" 9 44)
 ("u2" 38 47)
 ("o3" 39 49)
 ("o10" 38 51)
 ("o12" 14 52)
 ("o6" 39 53)
 ("o7" 44 53)
 ("o9" 41 54)
 ("o3" 51 58)
 ("o13" 14 59)
 ("o8" 52 59)
 ("o4" 39 69)
 ("o1" 52 69)
 ("o15" 27 74)
 ("o2" 41 74)
 ("o14" 39 77)
 ("o6" 54 80)
 ("o9" 65 84)
 ("u1" 33 85)
 ("o11" 35 88)
 ("o5" 46 88)
 ("u3" 49 89)
 ("o14" 87 96)
 ("o11" 89 111)
 ("o3" 59 112)
 ("o10" 68 115)
 ("o13" 68 117)
 ("o12" 79 128)
 ("o4" 86 130)
 ("o1" 72 134)
 ("o8" 90 142)
 ("o2" 75 144)
 ("o15" 77 173)
))
(28
 (
 ("o3" 16 25)
 ("o3" 26 33)
 ("o3" 34 42)
 ("o6" 7 43)
 ("o10" 34 44)
 ("o8" 43 51)
 ("o11" 30 52)
 ("o4" 34 54)
 ("o1" 37 54)
 ("o3" 46 54)
 ("u2" 29 55)
 ("o6" 44 56)
 ("o2" 26 58)
 ("o9" 40 58)
 ("o7" 18 61)
 ("u2" 56 65)
 ("u3" 21 66)
 ("o3" 57 67)
 ("o1" 55 69)
 ("o10" 56 69)
 ("o12" 32 70)
 ("o6" 57 71)
 ("o7" 62 71)
 ("o10" 70 71)
 ("o9" 59 72)
 ("o3" 69 76)
 ("o13" 32 77)
 ("o8" 70 77)
 ("o12" 78 84)
 ("o4" 57 87)
 ("o1" 70 87)
 ("o15" 45 92)
 ("o2" 59 92)
 ("o14" 57 95)
 ("o6" 72 98)
 ("u1" 51 103)
 ("o11" 53 106)
 ("u3" 67 107)
 ("o15" 93 111)
 ("o12" 108 120)
 ("o11" 107 125)
 ("o2" 93 128)
 ("o6" 99 135)
 ("o4" 100 137)
 ("o13" 85 162)
 ("o5" 76 175)
 ("o7" 95 192)
 ("u3" 109 198)
 ("o8" 98 204)
))
(29
 (
 ("o2" 8 15)
 ("o13" 6 21)
 ("o3" 16 23)
 ("o8" 18 32)
 ("o3" 24 32)
 ("o10" 24 34)
 ("o15" 24 34)
 ("o3" 33 35)
 ("o8" 33 41)
 ("o4" 24 44)
 ("o1" 27 44)
 ("o3" 36 44)
 ("u2" 23 45)
 ("o10" 35 45)
 ("o6" 34 46)
 ("o4" 45 46)
 ("o2" 16 48)
 ("u2" 46 55)
 ("u3" 46 56)
 ("o3" 47 57)
 ("o10" 46 59)
 ("o12" 22 60)
 ("o7" 52 61)
 ("o9" 49 62)
 ("o3" 59 66)
 ("o13" 22 67)
 ("o8" 60 67)
 ("o5" 55 72)
 ("o8" 68 76)
 ("o4" 47 77)
 ("o1" 60 77)
 ("o15" 35 82)
 ("o2" 49 82)
 ("o14" 47 85)
 ("o6" 62 88)
 ("o13" 68 88)
 ("u1" 41 93)
 ("o1" 84 95)
 ("o11" 43 96)
 ("u3" 57 97)
 ("u1" 94 99)
 ("o2" 85 100)
 ("o12" 61 101)
 ("o13" 89 104)
 ("o7" 62 116)
 ("o9" 63 116)
 ("o14" 86 126)
 ("u2" 91 126)
 ("o11" 97 142)
))
(30
 (
 ("o3" 1 8)
 ("o4" 2 8)
 ("o10" 5 8)
 ("o9" 9 14)
 ("o3" 9 17)
 ("o6" 12 18)
 ("o10" 9 19)
 ("o3" 18 20)
 ("o8" 18 26)
 ("o4" 9 29)
 ("o1" 12 29)
 ("o3" 21 29)
 ("o6" 19 31)
 ("o14" 25 31)
 ("o2" 1 33)
 ("o9" 24 33)
 ("u2" 31 40)
 ("o3" 32 42)
 ("o10" 31 44)
 ("o12" 7 45)
 ("o7" 37 46)
 ("o9" 34 47)
 ("o3" 44 51)
 ("o13" 7 52)
 ("o8" 45 52)
 ("o9" 50 56)
 ("o3" 52 61)
 ("o4" 32 62)
 ("o1" 45 62)
 ("o15" 20 67)
 ("o2" 34 67)
 ("o14" 32 70)
 ("o1" 63 70)
 ("o7" 62 71)
 ("o9" 64 71)
 ("o6" 47 73)
 ("u1" 26 78)
 ("o11" 28 81)
 ("o5" 79 81)
 ("u3" 42 82)
 ("o11" 82 85)
 ("o9" 89 91)
 ("o3" 77 98)
 ("o2" 105 109)
 ("o15" 78 117)
 ("o8" 80 120)
 ("u2" 41 122)
 ("u1" 80 124)
 ("o4" 71 126)
 ("o13" 56 139)
 ("u3" 83 153)
 ("o12" 104 204)
))
(31
 (
 ("u2" 9 14)
 ("o13" 10 16)
 ("o3" 11 18)
 ("u2" 18 24)
 ("o3" 19 27)
 ("o10" 19 29)
 ("u2" 26 30)
 ("o8" 28 36)
 ("o7" 17 37)
 ("o4" 19 39)
 ("o1" 22 39)
 ("o3" 31 39)
 ("u2" 35 39)
 ("o6" 29 41)
 ("o2" 11 43)
 ("o9" 28 43)
 ("u2" 41 50)
 ("u3" 36 51)
 ("o3" 42 52)
 ("o10" 41 54)
 ("o12" 17 55)
 ("o7" 47 56)
 ("o9" 44 57)
 ("u2" 55 60)
 ("o3" 54 61)
 ("o13" 17 62)
 ("o8" 55 62)
 ("u2" 64 67)
 ("o4" 42 72)
 ("o1" 55 72)
 ("o15" 30 77)
 ("o2" 44 77)
 ("u2" 73 78)
 ("o14" 42 80)
 ("o6" 57 83)
 ("o7" 62 84)
 ("u1" 36 88)
 ("o11" 38 91)
 ("u3" 52 92)
 ("u2" 86 94)
 ("o10" 57 98)
 ("u2" 100 106)
 ("o3" 81 109)
 ("o1" 92 113)
 ("u2" 111 117)
 ("o7" 103 120)
 ("o8" 67 133)
 ("o6" 115 144)
 ("o4" 76 147)
 ("o13" 85 149)
 ("o12" 117 168)
 ("o2" 100 173)
 ("o14" 81 176)
 ("o15" 109 190)
 ("o5" 61 192)
 ("o11" 115 205)
))
(32
 (
 ("o13" 11 24)
 ("o4" 3 26)
 ("o3" 19 26)
 ("o3" 27 35)
 ("o6" 18 36)
 ("o10" 27 37)
 ("o8" 36 44)
 ("o4" 27 47)
 ("o1" 30 47)
 ("o3" 39 47)
 ("o10" 43 48)
 ("o6" 37 49)
 ("o2" 19 51)
 ("u2" 49 58)
 ("o3" 50 60)
 ("o8" 45 62)
 ("o10" 49 62)
 ("o12" 25 63)
 ("o7" 55 64)
 ("o9" 52 65)
 ("o3" 62 69)
 ("o13" 25 70)
 ("o8" 63 70)
 ("o4" 50 80)
 ("o1" 63 80)
 ("o15" 38 85)
 ("o2" 52 85)
 ("o14" 50 88)
 ("o6" 65 91)
 ("u1" 44 96)
 ("o12" 85 97)
 ("o11" 46 99)
 ("u3" 60 100)
 ("o9" 82 101)
 ("o15" 86 106)
 ("o7" 69 115)
 ("o11" 100 130)
 ("o4" 82 142)
 ("o6" 94 143)
 ("o5" 56 145)
 ("o13" 84 145)
 ("o1" 94 146)
 ("o2" 107 179)
 ("o3" 75 183)
))
(33
 (
 ("o3" 0 7)
 ("o10" 2 7)
 ("o3" 8 16)
 ("u1" 11 16)
 ("o10" 8 18)
 ("o3" 17 19)
 ("o8" 17 25)
 ("o4" 8 28)
 ("o1" 11 28)
 ("o3" 20 28)
 ("o6" 18 30)
 ("o14" 21 30)
 ("o2" 0 32)
 ("u2" 30 39)
 ("o3" 31 41)
 ("o10" 30 43)
 ("o12" 6 44)
 ("o5" 10 44)
 ("o7" 36 45)
 ("o9" 33 46)
 ("o3" 43 50)
 ("o13" 6 51)
 ("o8" 44 51)
 ("o12" 45 52)
 ("o4" 31 61)
 ("o1" 44 61)
 ("o15" 19 66)
 ("o2" 33 66)
 ("o14" 31 69)
 ("o6" 46 72)
 ("o5" 52 72)
 ("u1" 25 77)
 ("o11" 27 80)
 ("u3" 41 81)
 ("o7" 46 83)
 ("o13" 65 95)
 ("u1" 89 97)
 ("o4" 62 100)
 ("o11" 81 100)
 ("o6" 73 103)
 ("o5" 81 105)
 ("u2" 68 110)
 ("o12" 87 116)
 ("o8" 56 127)
 ("u3" 82 128)
 ("o2" 75 130)
 ("o9" 71 132)
 ("o10" 67 135)
 ("o1" 70 136)
 ("o15" 70 141)
))
(34
 (
 ("o4" 5 23)
 ("o3" 16 23)
 ("o8" 23 32)
 ("o3" 24 32)
 ("o6" 6 33)
 ("o10" 24 34)
 ("u1" 25 40)
 ("o8" 33 41)
 ("o4" 24 44)
 ("o1" 27 44)
 ("o3" 36 44)
 ("u2" 28 45)
 ("o10" 39 45)
 ("o6" 34 46)
 ("o2" 16 48)
 ("o9" 17 48)
 ("u2" 46 55)
 ("u3" 39 56)
 ("o3" 47 57)
 ("o10" 46 59)
 ("o1" 58 59)
 ("o12" 22 60)
 ("o7" 52 61)
 ("o9" 49 62)
 ("o3" 59 66)
 ("o13" 22 67)
 ("o8" 60 67)
 ("o4" 47 77)
 ("o1" 60 77)
 ("o15" 35 82)
 ("o2" 49 82)
 ("o14" 47 85)
 ("o6" 62 88)
 ("u1" 41 93)
 ("o11" 43 96)
 ("u3" 57 97)
 ("u1" 94 105)
 ("o13" 85 109)
 ("o5" 75 113)
 ("u2" 85 114)
 ("o9" 78 121)
 ("o2" 92 124)
 ("u3" 98 127)
 ("o14" 86 129)
 ("o3" 97 134)
 ("o7" 62 137)
 ("o12" 61 141)
 ("o8" 97 141)
 ("o11" 97 146)
))
(35
 (
 ("o3" 0 7)
 ("o3" 8 16)
 ("o10" 8 18)
 ("o8" 17 25)
 ("o4" 8 28)
 ("o1" 11 28)
 ("o3" 20 28)
 ("u2" 22 29)
 ("o6" 18 30)
 ("o2" 0 32)
 ("u2" 30 39)
 ("o3" 31 41)
 ("o10" 30 43)
 ("o12" 6 44)
 ("o6" 31 45)
 ("o7" 36 45)
 ("o9" 33 46)
 ("o3" 43 50)
 ("o13" 6 51)
 ("o8" 44 51)
 ("o4" 31 61)
 ("o1" 44 61)
 ("o15" 19 66)
 ("o2" 33 66)
 ("o14" 31 69)
 ("o6" 46 72)
 ("u1" 25 77)
 ("o1" 62 79)
 ("o11" 27 80)
 ("o2" 67 80)
 ("u1" 78 80)
 ("u3" 41 81)
 ("o15" 67 82)
 ("o7" 46 85)
 ("u3" 82 89)
 ("o4" 71 90)
 ("o3" 51 99)
 ("o5" 28 119)
 ("o11" 96 130)
 ("u2" 83 132)
 ("o12" 56 134)
 ("o14" 70 134)
 ("o13" 71 135)
 ("o9" 72 141)
 ("o8" 91 148)
 ("o10" 68 165)
 ("o2" 86 176)
))
(36
 (
 ("o3" 8 15)
 ("o3" 16 24)
 ("o10" 16 26)
 ("o8" 25 33)
 ("o11" 17 34)
 ("o4" 16 36)
 ("o1" 19 36)
 ("o10" 27 36)
 ("o3" 28 36)
 ("o6" 26 38)
 ("o2" 8 40)
 ("o9" 39 40)
 ("u2" 38 47)
 ("u3" 17 48)
 ("o3" 39 49)
 ("o10" 38 51)
 ("o1" 50 51)
 ("o12" 14 52)
 ("o6" 39 53)
 ("o7" 44 53)
 ("o9" 41 54)
 ("o3" 51 58)
 ("o13" 14 59)
 ("o8" 52 59)
 ("o13" 60 66)
 ("o4" 39 69)
 ("o1" 52 69)
 ("o15" 27 74)
 ("o2" 41 74)
 ("o10" 53 75)
 ("o14" 39 77)
 ("o12" 53 77)
 ("o6" 54 80)
 ("u1" 33 85)
 ("o11" 35 88)
 ("u3" 49 89)
 ("o2" 75 90)
 ("o4" 83 95)
 ("o13" 84 95)
 ("o10" 82 104)
 ("u3" 90 111)
 ("u2" 57 116)
 ("o5" 67 126)
 ("o11" 91 131)
 ("o3" 77 142)
 ("o7" 88 165)
 ("o8" 87 167)
))
(37
 (
 ("o3" 0 7)
 ("o3" 8 16)
 ("o6" 6 17)
 ("o5" 4 18)
 ("o10" 8 18)
 ("o8" 17 25)
 ("o4" 8 28)
 ("o1" 11 28)
 ("o3" 20 28)
 ("o6" 18 30)
 ("o2" 0 32)
 ("o7" 13 35)
 ("u2" 30 39)
 ("o3" 31 41)
 ("o10" 30 43)
 ("o12" 6 44)
 ("o7" 36 45)
 ("o9" 33 46)
 ("o5" 29 47)
 ("o3" 43 50)
 ("o13" 6 51)
 ("o8" 44 51)
 ("o4" 31 61)
 ("o1" 44 61)
 ("o15" 19 66)
 ("o2" 33 66)
 ("o5" 55 67)
 ("o14" 31 69)
 ("o6" 46 72)
 ("u1" 25 77)
 ("o2" 67 79)
 ("o11" 27 80)
 ("u3" 41 81)
 ("o14" 70 81)
 ("u1" 78 83)
 ("o10" 49 86)
 ("o7" 61 90)
 ("o8" 68 91)
 ("o3" 51 98)
 ("o5" 81 101)
 ("o9" 83 107)
 ("o2" 84 117)
 ("o13" 52 118)
 ("o12" 57 129)
 ("o11" 81 145)
 ("o1" 88 150)
))
(38
 (
 ("o3" 1 8)
 ("o3" 9 17)
 ("o15" 4 19)
 ("o10" 9 19)
 ("u1" 8 25)
 ("o8" 18 26)
 ("o4" 9 29)
 ("o1" 12 29)
 ("o3" 21 29)
 ("o6" 19 31)
 ("o3" 30 31)
 ("o2" 1 33)
 ("o9" 10 33)
 ("u2" 31 40)
 ("o3" 32 42)
 ("o10" 31 44)
 ("o12" 7 45)
 ("o7" 37 46)
 ("o9" 34 47)
 ("o3" 44 51)
 ("o13" 7 52)
 ("o8" 45 52)
 ("o5" 32 61)
 ("o4" 32 62)
 ("o1" 45 62)
 ("o15" 20 67)
 ("o2" 34 67)
 ("o14" 32 70)
 ("o6" 47 73)
 ("u1" 26 78)
 ("o11" 28 81)
 ("u3" 42 82)
 ("o2" 74 83)
 ("o12" 74 85)
 ("o13" 53 86)
 ("o4" 63 103)
 ("o11" 83 106)
 ("o7" 55 114)
 ("o15" 68 117)
 ("o8" 66 119)
 ("o5" 87 120)
 ("o10" 52 132)
 ("o9" 74 137)
 ("o1" 70 139)
 ("o14" 71 141)
 ("o6" 74 142)
 ("u2" 52 159)
))
(39
 (
 ("o3" 7 14)
 ("o1" 15 17)
 ("o3" 15 23)
 ("o10" 15 25)
 ("o8" 24 32)
 ("o11" 4 33)
 ("o4" 15 35)
 ("o1" 18 35)
 ("o3" 27 35)
 ("o10" 32 36)
 ("o6" 25 37)
 ("o3" 36 37)
 ("o2" 7 39)
 ("u2" 37 46)
 ("u3" 41 47)
 ("o3" 38 48)
 ("o10" 37 50)
 ("o12" 13 51)
 ("o7" 43 52)
 ("o9" 40 53)
 ("o3" 50 57)
 ("o13" 13 58)
 ("o8" 51 58)
 ("o4" 38 68)
 ("o1" 51 68)
 ("o15" 26 73)
 ("o2" 40 73)
 ("o14" 38 76)
 ("o6" 53 79)
 ("u1" 32 84)
 ("o11" 34 87)
 ("u3" 48 88)
 ("o3" 77 89)
 ("o1" 69 92)
 ("o14" 77 96)
 ("o6" 80 97)
 ("o5" 93 97)
 ("o11" 88 99)
 ("o8" 93 103)
 ("o9" 56 120)
 ("o7" 63 125)
 ("u2" 97 125)
 ("o12" 52 129)
 ("o15" 74 130)
 ("o13" 102 136)
 ("o2" 74 144)
 ("o4" 69 160)
 ("u1" 85 175)
))
(40
 (
 ("o3" 2 9)
 ("o3" 10 18)
 ("o15" 7 20)
 ("o10" 10 20)
 ("o3" 19 21)
 ("o8" 19 27)
 ("o4" 10 30)
 ("o1" 13 30)
 ("o3" 22 30)
 ("o10" 24 31)
 ("o6" 20 32)
 ("o2" 2 34)
 ("u2" 32 41)
 ("o3" 33 43)
 ("o10" 32 45)
 ("o8" 34 45)
 ("o12" 8 46)
 ("o7" 38 47)
 ("o9" 35 48)
 ("o3" 45 52)
 ("o13" 8 53)
 ("o8" 46 53)
 ("o4" 33 63)
 ("o1" 46 63)
 ("o15" 21 68)
 ("o2" 35 68)
 ("o14" 33 71)
 ("o6" 48 74)
 ("u1" 27 79)
 ("o11" 29 82)
 ("u3" 43 83)
 ("o13" 63 85)
 ("o5" 42 89)
 ("u1" 80 89)
 ("o12" 47 107)
 ("u3" 84 108)
 ("o13" 90 109)
 ("u2" 60 114)
 ("o1" 64 116)
 ("o7" 91 137)
 ("o6" 80 147)
 ("o2" 77 176)
 ("o14" 90 183)
 ("o4" 96 190)
))
(41
 (
 ("o10" 4 16)
 ("o3" 10 17)
 ("o3" 18 26)
 ("o10" 18 28)
 ("o8" 27 35)
 ("o10" 29 37)
 ("o4" 18 38)
 ("o1" 21 38)
 ("o3" 30 38)
 ("o10" 38 39)
 ("o6" 28 40)
 ("o14" 37 40)
 ("o3" 39 40)
 ("o2" 10 42)
 ("o7" 36 45)
 ("u2" 40 49)
 ("u3" 24 50)
 ("o3" 41 51)
 ("o8" 36 53)
 ("o10" 40 53)
 ("o12" 16 54)
 ("o7" 46 55)
 ("o9" 43 56)
 ("o3" 53 60)
 ("o13" 16 61)
 ("o8" 54 61)
 ("o4" 41 71)
 ("o1" 54 71)
 ("o15" 29 76)
 ("o2" 43 76)
 ("o13" 62 76)
 ("o14" 41 79)
 ("o6" 56 82)
 ("o10" 66 83)
 ("u2" 82 83)
 ("o6" 83 84)
 ("u1" 35 87)
 ("o11" 37 90)
 ("u3" 51 91)
 ("o2" 90 106)
 ("o1" 72 109)
 ("o10" 90 112)
 ("o5" 71 121)
 ("o9" 57 150)
 ("o15" 81 154)
 ("o4" 74 156)
))
(42
 (
 ("o3" 2 20)
 ("o13" 18 26)
 ("o4" 18 28)
 ("o3" 21 28)
 ("o8" 8 37)
 ("o3" 29 37)
 ("o10" 29 39)
 ("o8" 38 46)
 ("o11" 21 47)
 ("o4" 29 49)
 ("o1" 32 49)
 ("o3" 41 49)
 ("u2" 40 50)
 ("o14" 36 51)
 ("o6" 39 51)
 ("o9" 18 53)
 ("o2" 21 53)
 ("u2" 51 60)
 ("u3" 38 61)
 ("o3" 52 62)
 ("o10" 51 64)
 ("o1" 61 64)
 ("o12" 27 65)
 ("o7" 57 66)
 ("o9" 54 67)
 ("o3" 64 71)
 ("o13" 27 72)
 ("o8" 65 72)
 ("o4" 52 82)
 ("o1" 65 82)
 ("o15" 40 87)
 ("o2" 54 87)
 ("o12" 79 89)
 ("o14" 52 90)
 ("o2" 88 90)
 ("o6" 67 93)
 ("u1" 46 98)
 ("o11" 48 101)
 ("u3" 62 102)
 ("o15" 88 111)
 ("o11" 102 115)
 ("o10" 66 123)
 ("o5" 62 145)
 ("o7" 67 147)
 ("u1" 99 164)
 ("o4" 95 176)
 ("o6" 95 180)
 ("o3" 102 197)
))
(43
 (
 ("o3" 1 8)
 ("o3" 9 17)
 ("o10" 9 19)
 ("o3" 18 20)
 ("o8" 18 26)
 ("o11" 14 27)
 ("o4" 9 29)
 ("o1" 12 29)
 ("o3" 21 29)
 ("o6" 19 31)
 ("o2" 1 33)
 ("o9" 1 33)
 ("u2" 31 40)
 ("u3" 24 41)
 ("o3" 32 42)
 ("o8" 27 44)
 ("o10" 31 44)
 ("o12" 7 45)
 ("o7" 37 46)
 ("o9" 34 47)
 ("u2" 41 51)
 ("o3" 44 51)
 ("o13" 7 52)
 ("o8" 45 52)
 ("o4" 32 62)
 ("o1" 45 62)
 ("o3" 52 66)
 ("o15" 20 67)
 ("o2" 34 67)
 ("o14" 32 70)
 ("o7" 47 70)
 ("o6" 47 73)
 ("o15" 68 77)
 ("u1" 26 78)
 ("o11" 28 81)
 ("o14" 71 81)
 ("u3" 42 82)
 ("o5" 45 82)
 ("o4" 63 88)
 ("o12" 46 93)
 ("u1" 79 100)
 ("o3" 73 102)
 ("o10" 54 104)
 ("o2" 68 107)
 ("o6" 74 112)
 ("o1" 85 115)
 ("o13" 64 123)
))
(44
 (
 ("o3" 4 11)
 ("o3" 12 20)
 ("o10" 12 22)
 ("o11" 8 24)
 ("o8" 21 29)
 ("o4" 12 32)
 ("o1" 15 32)
 ("o3" 24 32)
 ("u3" 17 33)
 ("o10" 23 33)
 ("o14" 19 34)
 ("o6" 22 34)
 ("o2" 4 36)
 ("o9" 20 36)
 ("u2" 34 43)
 ("o3" 35 45)
 ("o1" 33 47)
 ("o10" 34 47)
 ("o12" 10 48)
 ("o7" 40 49)
 ("o9" 37 50)
 ("o3" 47 54)
 ("o13" 10 55)
 ("o8" 48 55)
 ("o13" 56 59)
 ("o7" 50 64)
 ("o4" 35 65)
 ("o1" 48 65)
 ("o15" 23 70)
 ("o2" 37 70)
 ("o14" 35 73)
 ("o2" 71 74)
 ("o8" 67 75)
 ("o6" 50 76)
 ("u1" 29 81)
 ("o11" 31 84)
 ("u3" 45 85)
 ("u1" 82 85)
 ("o3" 77 92)
 ("o4" 89 93)
 ("o5" 74 94)
 ("u3" 86 94)
 ("o15" 82 95)
 ("o6" 77 100)
 ("o12" 49 106)
 ("u2" 85 161)
))
(45
 (
 ("o4" 9 19)
 ("o14" 19 20)
 ("o10" 2 21)
 ("o3" 14 21)
 ("o3" 22 30)
 ("o6" 22 31)
 ("o10" 22 32)
 ("o15" 31 32)
 ("o3" 31 33)
 ("o8" 31 39)
 ("o4" 22 42)
 ("o1" 25 42)
 ("o3" 34 42)
 ("u3" 16 43)
 ("u2" 35 43)
 ("o6" 32 44)
 ("o4" 43 44)
 ("o9" 9 46)
 ("o2" 14 46)
 ("o7" 35 49)
 ("u2" 44 53)
 ("o3" 45 55)
 ("o8" 40 57)
 ("o10" 44 57)
 ("o12" 20 58)
 ("o7" 50 59)
 ("o9" 47 60)
 ("o3" 57 64)
 ("o13" 20 65)
 ("o8" 58 65)
 ("o4" 45 75)
 ("o1" 58 75)
 ("o15" 33 80)
 ("o2" 47 80)
 ("o1" 76 81)
 ("o14" 45 83)
 ("o6" 60 86)
 ("o4" 80 89)
 ("u1" 39 91)
 ("o11" 41 94)
 ("u3" 55 95)
 ("o14" 97 98)
 ("o12" 78 104)
 ("o11" 95 104)
 ("u1" 92 112)
 ("o10" 62 122)
 ("u3" 101 125)
 ("o7" 99 128)
 ("o9" 86 131)
 ("o13" 67 141)
 ("o2" 99 160)
 ("o5" 87 163)
))
(46
 (
 ("o10" 1 7)
 ("o12" 1 13)
 ("o3" 8 15)
 ("o10" 9 15)
 ("o8" 3 24)
 ("o3" 16 24)
 ("o10" 16 26)
 ("o15" 24 26)
 ("o10" 27 29)
 ("o8" 25 33)
 ("o10" 30 35)
 ("o4" 16 36)
 ("o1" 19 36)
 ("o3" 28 36)
 ("o5" 13 37)
 ("o14" 22 38)
 ("o6" 26 38)
 ("o4" 37 38)
 ("o2" 8 40)
 ("u3" 3 46)
 ("u2" 38 47)
 ("o3" 39 49)
 ("o10" 38 51)
 ("o1" 49 51)
 ("o12" 14 52)
 ("o7" 44 53)
 ("o9" 41 54)
 ("o12" 53 55)
 ("o10" 54 55)
 ("o3" 51 58)
 ("o13" 14 59)
 ("o8" 52 59)
 ("o5" 47 60)
 ("o10" 56 62)
 ("o3" 67 68)
 ("o4" 39 69)
 ("o1" 52 69)
 ("o10" 65 69)
 ("o15" 27 74)
 ("o2" 41 74)
 ("o10" 71 75)
 ("o14" 39 77)
 ("o12" 56 78)
 ("o6" 54 80)
 ("o10" 77 81)
 ("u1" 33 85)
 ("o10" 82 85)
 ("o11" 35 88)
 ("u3" 49 89)
 ("o10" 86 89)
 ("u2" 70 91)
 ("o5" 75 97)
 ("o6" 81 102)
 ("u3" 90 104)
 ("o12" 83 105)
 ("u1" 86 124)
 ("o13" 65 134)
 ("o8" 70 136)
 ("o2" 75 136)
))
(47
 (
 ("o3" 6 13)
 ("o3" 14 22)
 ("o10" 14 24)
 ("o8" 23 31)
 ("o4" 14 34)
 ("o1" 17 34)
 ("o3" 26 34)
 ("o10" 25 35)
 ("o6" 24 36)
 ("o14" 28 36)
 ("o2" 6 38)
 ("o5" 33 45)
 ("u2" 36 45)
 ("o3" 37 47)
 ("o10" 36 49)
 ("o1" 39 49)
 ("o12" 12 50)
 ("o7" 42 51)
 ("o9" 39 52)
 ("o3" 49 56)
 ("o13" 12 57)
 ("o8" 50 57)
 ("o4" 37 67)
 ("o1" 50 67)
 ("o15" 25 72)
 ("o2" 39 72)
 ("o14" 37 75)
 ("o6" 52 78)
 ("o8" 58 78)
 ("o7" 71 82)
 ("u1" 31 83)
 ("o11" 33 86)
 ("u3" 47 87)
 ("o13" 58 89)
 ("o3" 67 92)
 ("o5" 86 94)
 ("o14" 86 95)
 ("u2" 46 98)
 ("u1" 84 104)
 ("o6" 87 122)
 ("o2" 73 123)
 ("o9" 53 139)
 ("o11" 87 146)
 ("o12" 89 148)
 ("o15" 76 150)
))
(48
 (
 ("o2" 4 18)
 ("o12" 6 24)
 ("o3" 19 26)
 ("o10" 24 26)
 ("o1" 22 29)
 ("o3" 27 35)
 ("o8" 34 35)
 ("o10" 27 37)
 ("u3" 21 38)
 ("o8" 36 44)
 ("o4" 27 47)
 ("o1" 30 47)
 ("o3" 39 47)
 ("o6" 37 49)
 ("o2" 19 51)
 ("o9" 25 51)
 ("o7" 37 54)
 ("u2" 49 58)
 ("o3" 50 60)
 ("o10" 49 62)
 ("o12" 25 63)
 ("o7" 55 64)
 ("o9" 52 65)
 ("o3" 62 69)
 ("o13" 25 70)
 ("o8" 63 70)
 ("o4" 50 80)
 ("o1" 63 80)
 ("o1" 81 84)
 ("o15" 38 85)
 ("o2" 52 85)
 ("o13" 71 86)
 ("o14" 50 88)
 ("o6" 65 91)
 ("o10" 89 91)
 ("o6" 92 93)
 ("u1" 44 96)
 ("o11" 46 99)
 ("u3" 60 100)
 ("o8" 94 100)
 ("u3" 101 110)
 ("o10" 111 112)
 ("o5" 103 113)
 ("u1" 97 114)
 ("o3" 104 115)
 ("o11" 100 124)
 ("o1" 107 125)
 ("o12" 74 130)
 ("o4" 100 168)
 ("u2" 98 169)
 ("o14" 89 171)
 ("o2" 108 200)
))
(49
 (
 ("o3" 0 7)
 ("o3" 8 16)
 ("o10" 8 18)
 ("o15" 17 18)
 ("o8" 17 25)
 ("o11" 1 26)
 ("o4" 8 28)
 ("o1" 11 28)
 ("o3" 20 28)
 ("u2" 6 29)
 ("o10" 22 29)
 ("o6" 18 30)
 ("o2" 0 32)
 ("o7" 22 35)
 ("u2" 30 39)
 ("o3" 31 41)
 ("o10" 30 43)
 ("o12" 6 44)
 ("o7" 36 45)
 ("o9" 33 46)
 ("o3" 43 50)
 ("o13" 6 51)
 ("o8" 44 51)
 ("o4" 31 61)
 ("o1" 44 61)
 ("o15" 19 66)
 ("o2" 33 66)
 ("o14" 31 69)
 ("o6" 46 72)
 ("o14" 70 73)
 ("u1" 25 77)
 ("u2" 42 77)
 ("o11" 27 80)
 ("u3" 41 81)
 ("o4" 79 85)
 ("o11" 81 89)
 ("o1" 62 97)
 ("o5" 61 113)
 ("o9" 47 117)
 ("u2" 92 121)
 ("u1" 78 142)
 ("o8" 80 144)
 ("o6" 96 145)
 ("o11" 91 150)
 ("o12" 45 151)
 ("o3" 64 155)
 ("o2" 93 164)
))
